🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·8h·
Discuss: Hacker News
🔗Concatenative Programming
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·10h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
This “smart coach” helps LLMs switch between text and code
news.mit.edu·6h
💻Local LLMs
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·19h·
Discuss: DEV
🌀Brotli Internals
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·6h
🕸️Algebraic Topology
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
How to actually use Model Context Protocol
seangoedecke.com·10h
⚡Proof Automation
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·6h
📏Linear Logic
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
A Wide Reduction Trick (2022)
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
AtCoder Finals Problem Statement
atcoder.jp·17h·
Discuss: Hacker News
🇯🇵Japanese Computing
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·12h
💻Local LLMs
AI whiplash, and Neovim in the age of AI
dlants.me·3h·
Discuss: Hacker News
✨Effect Handlers
What people said about an OpenZFS bug
despairlabs.com·19h·
Discuss: Lobsters, Hacker News
🔒Type Safety
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·9h·
Discuss: DEV
⚔️Lean Tactics
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers